/* Benchmarks for the PionterC verifier. */

// memory leak

struct list
{
  int data;
  struct list* next;
};

/*@ */
void mem_leak()
{
  struct list* p;
  p = alloc(struct list);
  p->next->data=9;
  free(p);
  return;
}
/*@  */
